1. Certified Programs and Proofs :
پدیدآورنده : edited by Chris Hawblitzel, Dale Miller.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
رده :
QA76
.
9
.
M35
E358
2012
